6

Quadtrees as an Abstract Domain

Year:
2010
Language:
english
File:
PDF, 222 KB
english, 2010
7

Abstracting numeric constraints with Boolean functions

Year:
2000
Language:
english
File:
PDF, 104 KB
english, 2000
10

A pearl on SAT and SMT solving in Prolog

Year:
2012
Language:
english
File:
PDF, 267 KB
english, 2012
15

Theory propagation and reification

Year:
2014
Language:
english
File:
PDF, 447 KB
english, 2014
18

Proof search in Lax Logic

Year:
2001
Language:
english
File:
PDF, 368 KB
english, 2001
20

A caval clamp for portacaval shunt in the rat

Year:
1984
Language:
english
File:
PDF, 507 KB
english, 1984
27

Efficient groundness analysis in Prolog

Year:
2003
Language:
english
File:
PDF, 344 KB
english, 2003
28

Three optimisations for sharing

Year:
2003
Language:
english
File:
PDF, 264 KB
english, 2003
33

Child care research: A case for Canadian national standards.

Year:
1995
Language:
english
File:
PDF, 1.14 MB
english, 1995
48

Incremental closure for systems of two variables per inequality

Year:
2018
Language:
english
File:
PDF, 807 KB
english, 2018
49

Oral Trauma

Year:
1995
Language:
english
File:
PDF, 9.26 MB
english, 1995